valtype(e) == if isrcv(e) rcvtype(e) else acttype(e) fi 

latex

---

clarification:

es-valtype(es; e) == if es-isrcv(es; e) es-rcvtype(es; e) else es-acttype(es; e) fi 

latex

Definitions	if b t else f fi, isrcv(e), rcvtype(e), acttype(e)
FDL editor aliases	es-valtype